type T() =
    x
